CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
2 research outputs found
Approximation Refinement for Interpolation-Based Model Checking
Author
C. Stangier
D. Massé
+18 more
E.M. Clarke
F. Corno
F. Somenzi
G. Cabodi
G. Cabodi
J. Krajícek
J. Marques-Silva
J. Marques-Silva
K.L. McMillan
M. Sheeran
P. Cousot
P. Cousot
P. Cousot
P. Cousot
P. Pudlák
S.G. Govindaraju
T.A. Henzinger
W. Craig
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/2008
Field of study
No full text
Crossref
Assessing the utility of thallium and thallium isotopes for tracing subduction zone inputs to the Mariana arc
Author
Avanzinelli
Baker
+86 more
Baker
Ben Othman
Brown
Busigny
Chauvel
Chauvel
Cooper
Dixon
Domanik
Elliott
England
France-Lanord
Govindaraju
Hart
Hawkesworth
Heinrichs
Hermann
Hermann
Hermann
Hey
Hole
Hydman
Ito
J. Prytulak
Jenner
Jochum
Kelley
Kelley
Kent
Klimm
Koppers
Lancelot
Lin
M. Barker
Makishima
Makishima
Marske
Martindale
Meijer
Melzer
Miller
Morris
Nakanishi
Nielsen
Nielsen
Nielsen
Nielsen
Nielsen
Nielsen
Nielsen
Nielsen
Nielsen
Nielsen
Nielsen
Noll
Oakley
Peate
Plank
Plank
Plank
Plank
Rehkämper
Rehkämper
Rehkämper
S.G. Nielsen
Schmidt
Seno
Shannon
Shaw
Skora
Stern
Stern
Stern
Sun
Syracuse
T. Elliott
T. Plank
Tera
Tollstrup
Velde
Vervoort
Von Huene
Wade
White
Woodhead
Woodhead
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref